package symbol;

public class Symbol {
	
	private String name;
	private Symbol(String n) {name=n; }
	private static java.util.Dictionary dict = new java.util.Hashtable();
	
	public String toString() {return name;}
	
	public static Symbol symbol(String n) {		
		String u = n.intern();
		Symbol s = (Symbol)dict.get(u);
		
		if (s==null) {
			s = new Symbol(u); 
			dict.put(u,s); 
		}
		return s;
	}
}
